2221. Visualization, explanation and reasoning styles in mathematics
المؤلف: / edited by Paolo Mancosu, Klaus Frovin Jorgensen and Stig Andur Pedersen
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Mathematics- Philosophy,Logic, Symbolic and mathematical,Visualization
رده :
E-BOOK
2222. Visualization, explanation and reasoning styles in mathematics ]electronic resources[
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Visualization
رده :
QA
8
.
6
.
V57
2005
2223. Vivid logic
المؤلف: / Gerd Wagner
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Expert systems (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
76
,.
E95
,
W33
,
1994
2224. Vivid logic :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
2225. Vivid logic : knowledge-based reasoning with two kinds of negation
المؤلف: Wagner, Gerd, 7591-
المکتبة: (طهران)
موضوع: ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
2226. Vollstandige Systeme modaler und intuitionistischer Logik
المؤلف: Schutte, Kurt
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S3793
2227. Vollstandige systeme modaler und intuitioni tischor logik
المؤلف: Schutte, Kurt
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Model theory,، Logic symbolic and mathematical
رده :
QA
9
.
7
.
S39V6
2228. Vollstandige systeme modaler und intuitionistischer Logik
المؤلف: Schutte, Kurt
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
S46
1968
2229. Waht is mathematical logic ?
المؤلف: / J. N. Crossley ... [et al.]
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic, symbolic and mathematical
رده :
511
.
3
Wh
2230. What Logics Mean
المؤلف: / James W. Garson
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic,Semantics,Logic, Symbolic and mathematical,منطق,معنی شناسی,منطق ریاضی
رده :
BC71
.
G37
2013
2231. What is a logical system?
المؤلف: edited by D.M. Gabbay
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
2
.
W48
1994
2232. What is mathematical logic
المؤلف: J.N. Crossley...]et al.[
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
W43
1972
2233. What is mathematical logic?
المؤلف: / J. N. Crossley ... [et all]
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Logic, symbolic and mathematical
رده :
QA9
.
W55
2234. What is mathematical logic?
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ;
2235. What is mathematical logic?
المؤلف: / J.N. Crossley ... [et al.]
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
W47
,
1990
2236. What logics mean : from proof theory to model-theoretic semantics
المؤلف: Garson, James W., 3491-
المکتبة: (طهران)
موضوع: ، Logic,، Semantics,، Logic, Symbolic and mathematical
رده :
BC
71
.
G37W45
2237. Wittgenstein and the End of Philosophy
المؤلف: \ Daniel D. Hutto
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Wittgenstein, Ludwig, 1889-1951. Tractatus logico-philosophicus,ویتگنشتاین، لودویگ، ۱۸۸۹ - ۱۹۵۱م. . پ‍ژوه‍ش‍ه‍ای ف‍ل‍س‍ف‍ی
رده :
E-Book
,
2238. Wittgenstein and the end of philosophy :neither theory nor therapy
المؤلف: Hutto, Daniel D.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Wittgenstein, Ludwig,9881-1591.Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B3376
.
W563
T73353
2239. Wittgenstein and the end of philosophy : neither theory nor therapy
المؤلف: Hutto, Daniel D.
المکتبة: (طهران)
موضوع: ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
3376
.
W563T72338
2240. Wittgenstein and the end of philosophy: neither theory nor therapy
المؤلف: Hutto, Daniel D.
المکتبة: (طهران)
موضوع: ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,، Language and languages -- Philosophy
رده :
B
3376
.
W563
H88
2006
